Proceedings of the Resolve Workshop 2006

The aim of the RESOLVE Workshop 2006 was to bring together researchers and educators interested in: Refining formal approaches to software engineering, especially component-based systems, and introducing them into the classroom. The workshop served as a forum for participants to present and discuss recent advances, trends, and concerns in these areas, as well as formulate a common understanding of emerging research issues and possible solution paths

Near–Infrared Classification Spectroscopy: \u3ci\u3eH\u3c/i\u3e–band Spectra of Fundamental MK Standards

We present a catalog of H-band spectra for 85 stars of approximately solar abundance observed at a resolving power of 3000 with the KPNO Mayall 4 m Fourier Transform Spectrometer. The atlas covers spectral types O7M5 and luminosity classes IV as defined in the MK system. We identify both atomic and molecular indices and line ratios that are temperature and luminosity sensitive, allowing spectral classification to be carried out in the H-band. The line ratios permit spectral classification in the presence of continuum excess emission, which is commonly found in premain-sequence or evolved stars. We demonstrate that with spectra of R = 1000 obtained at signal-to-noise ratio \u3e50, it is possible to derive spectral types within ±2 subclasses for late-type stars. These data are available electronically through the Astronomical Data Center in addition to being served on the World Wide Web

Psychiatric Manifestation of Vitamin B-12 Deficiency: An Update

Psychiatric manifestations of vitamin B-12 deficiency are reviewed from 1986 to the present. Specific clinical entities reviewed include depression, organic psychosis, obsessive-compulsive disorder, childhood manifestations and dementia. We recommend that consideration be given to B-12 deficiency as an etiological factor in some cases of depression, organic psychosis, certain childhood disorders and dementia. Routine screening of people overage 65 is addressed

Elasticity of Stiff Biopolymers

We present a statistical mechanical study of stiff polymers, motivated by experiments on actin filaments and the considerable current interest in polymer networks. We obtain simple, approximate analytical forms for the force-extension relations and compare these with numerical treatments. We note the important role of boundary conditions in determining force-extension relations. The theoretical predictions presented here can be tested against single molecule experiments on neurofilaments and cytoskeletal filaments like actin and microtubules. Our work is motivated by the buckling of the cytoskeleton of a cell under compression, a phenomenon of interest to biology.Comment: Submitted for publication, five pages, three figure

SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings

This is the proceedings of the 2004 SAVCBS workshop. The workshop is concerned with how formal (i.e., mathematical) techniques can be or should be used to establish a suitable foundation for the specification and verification of component-based systems. Component-based systems are a growing concern for the software engineering community. Specification and reasoning techniques are urgently needed to permit composition of systems from components. Component-based specification and verification is also vital for scaling advanced verification techniques such as extended static analysis and model checking to the size of real systems. The workshop considers formalization of both functional and non-functional behavior, such as performance or reliability